No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24763-24768	A postal place is located at a city and the postal place is an instance of postal place and the city is an instance of city if and only if the postal place is in the city
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24676-24681	A postal place is located at a neighborhood and the postal place is an instance of postal place and the neighborhood is an instance of neighborhood if and only if the postal place is in the neighborhood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24747-24752	A postal place is located at a state or province and the postal place is an instance of postal place and the state or province is an instance of state or province if and only if the postal place is in the state or province
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1517-1522	A geopolitical area annual expenditures of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an annual expenditures of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1488-1493	A geopolitical area annual revenues of area in period a currency measure for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the currency measure is an annual revenues of area of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15000-15004	Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
No TPTP formula. May not be expressible in strict first order.	People.kif 676-678	A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
No TPTP formula. May not be expressible in strict first order.	People.kif 702-704	Agnostic is an attribute of an object if and only if the object is a member of agnosticism
No TPTP formula. May not be expressible in strict first order.	People.kif 1347-1349	Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1225-1227	Anglican is an attribute of an object if and only if the object is a member of anglicanism
No TPTP formula. May not be expressible in strict first order.	People.kif 1233-1235	Anglican is an attribute of an object if and only if the object is a member of church of england
No TPTP formula. May not be expressible in strict first order.	People.kif 720-722	Atheist is an attribute of an object if and only if the object is a member of atheism
No TPTP formula. May not be expressible in strict first order.	People.kif 757-759	Bahai is an attribute of an object if and only if the object is a member of bahaism
No TPTP formula. May not be expressible in strict first order.	People.kif 769-771	Buddhist is an attribute of an object if and only if the object is a member of buddhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1306-1308	Confucianist is an attribute of an object if and only if the object is a member of confucianism
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	Druze muslim is an attribute of an object if and only if the object is a member of druze sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1247-1249	Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1318-1320	Hindu is an attribute of an object if and only if the object is a member of hinduism
No TPTP formula. May not be expressible in strict first order.	People.kif 1411-1413	Jain is an attribute of an object if and only if the object is a member of jainism
No TPTP formula. May not be expressible in strict first order.	People.kif 1330-1332	Muslim is an attribute of an object if and only if the object is a member of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1457-1459	Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1261-1263	Protestant is an attribute of an object if and only if the object is a member of protestantism
No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	Religious jew is an attribute of an object if and only if the object is a member of judaism
No TPTP formula. May not be expressible in strict first order.	People.kif 1283-1285	Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners